Mini-os updates from Grzegorz Milos.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 6 Jul 2005 10:46:29 +0000 (10:46 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 6 Jul 2005 10:46:29 +0000 (10:46 +0000)
commitb7d34829a343a9fcc9e5d6a64d6138bc6ce0d160
tree55fdbbc8a6878bbfcbc00826dce1138f17d721e2
parent3f54e6d5ece9b20caa0fd77d2c8342c69c6733b2
Mini-os updates from Grzegorz Milos.
22 files changed:
extras/mini-os/Makefile
extras/mini-os/events.c
extras/mini-os/h/events.h [deleted file]
extras/mini-os/h/hypervisor.h [deleted file]
extras/mini-os/h/lib.h [deleted file]
extras/mini-os/h/mm.h [deleted file]
extras/mini-os/h/os.h [deleted file]
extras/mini-os/h/time.h [deleted file]
extras/mini-os/h/types.h [deleted file]
extras/mini-os/hypervisor.c
extras/mini-os/include/events.h [new file with mode: 0644]
extras/mini-os/include/hypervisor.h [new file with mode: 0644]
extras/mini-os/include/lib.h [new file with mode: 0644]
extras/mini-os/include/mm.h [new file with mode: 0644]
extras/mini-os/include/os.h [new file with mode: 0644]
extras/mini-os/include/time.h [new file with mode: 0644]
extras/mini-os/include/traps.h [new file with mode: 0644]
extras/mini-os/include/types.h [new file with mode: 0644]
extras/mini-os/kernel.c
extras/mini-os/time.c
extras/mini-os/traps.c
extras/mini-os/x86_32.S